The Prophecy of Undo
نویسنده
چکیده
Prophecy variables are auxiliary program variables whose values are defined in terms of current program state and future behavior. This paper explains their relevance to reasoning about systems with “undo” operations, and develops techniques that facilitate their use.
منابع مشابه
Special Effects; or, The Tooling Is Here. Where Are the Results?
Technological developments tend to move at a very different speed from their cultural assimilation. Hence it is not surprising that impressive technical wizardry should be used in culturally unimpressive ways. The real problem is one of imaginative maturity. Here I argue that Choueka's old question, " The tools are here; where are the results? " , similarly directs humanist scholars to pay atte...
متن کاملA Comparative Study of Mulla Sadra and Henry Corbin: Their Views concerning the Impact of Revealed Teachings on Human Being
In the Islamic tradition, Mulla Sadra is foremost among the philosophers who have dealt with the issue of prophecy from all three theological, philosophical, and mystical perspectives. Among Western scholars of religion, Henry Corbin is the most prominent commentator of prophetic wisdom, who has provided a mystical reading of the problem of prophecy drawing on the ideas of Muslim philosophers. ...
متن کاملCost Benefit Analysis of Higher Education by Educated Women in Iran: The Tale of Self Fulfilling Prophecy and Low Labor Force Participation
متن کامل
The Continuation of New Testament Prophecy and a Closed Canon: A Critique of Wayne Grudem’s Two Levels of New Testament Prophecy
A key sticking point dividing fundamentalists and conservative evangelicals is the question regarding the cessation versus the continuation of New Testament prophecy. Fundamentalists have traditionally argued for the present cessation of New Testament prophecy, 1 whereas a growing number of conservative evangelicals argue for its present continuation. 2 At the heart of the debate are the issues...
متن کاملProphecy: Accelerating Mobile Page Loads Using Final-state Write Logs
Web browsing on mobile devices is expensive in terms of battery drainage and bandwidth consumption. Mobile pages also frequently suffer from long load times due to high-latency cellular connections. In this paper, we introduce Prophecy, a new acceleration technology for mobile pages. Prophecy simultaneously reduces energy costs, bandwidth consumption, and page load times. In Prophecy, web serve...
متن کامل